Core Subjects Theoretical Foundations of SSE
Module
LV Type
CP
LV
Dates
Examination
Erfüllbarkeitsüberprüfung
Fach-/Modulprüfung
6
369796
Formale Methoden für Steuerungssoftware
Fach-/Modulprüfung
6
274905
Vorlesung/Übung
267600
Fach-/Modulprüfung
350844